منطق پیوسته و محاسبات احتمالاتی
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
- نویسنده داوود عبدی
- استاد راهنما سیدمحمد باقری
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1391
چکیده
چکیده منطق مرتبه اول پیوسته برای پیوند آنالیز مدل تئوریک با ساختارهای تحلیلی ( فضاهای هیلبرت، فضاهای باناخ، فضاهای احتمال و ... ) به کار گرفته شده است. نظریه مدل محاسبه پذیر کلاسیک برای بررسی ساختار الگوریتمی آن دسته از اشیای ریاضی که می توان در منطق مرتبه اول کلاسیک توصیف کرد به کار می رود. در این پایان نامه نشان می دهیم که محاسبه ی احتمالی ( که پاهی از آن با نام محاسبه ی تصادفی یاد می شود ) و منطق پیوسته ارتباط نزدیک و مشابهی دارند. پیامد اصلی این پایان نامه این است که هر نظریه ی مرتبه اول پیوسته ی تصمیم پذیر یک مدل به طور احتمالی تصمیم پذیر دارد. همچنین نشان می دهیم که ساختارهای به طور احتمالی محاسبه پذیر، در یک زمینه ی مناسب، مدلی از aca0 را ارائه می کنند.
منابع مشابه
منطق پیوسته
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از ر...
متن کاملبررسی محاسبات دستگاههای تعویض خط جوشکاری شده پیوسته راه آهن
دستگاههای تعویض خط پیوسته برای خطوط جوشکاری شده طویل خصوصاً هنگام عبور از ایستگاه راه آهن بسیار مهم است. براساس نظریه های مقاومت معادل و مقاومت غیر خطی و اصول توزیع نیرو در دستگاه تعویض خط، روش نظری جدیدی برای محاسبات مربوط به آنها در خطوط پیوسته توسعه داده شده است. طراحی دستگاه تعویض خط پیوسته و نصب آن بر اساس محاسبات نظری روش جدید تطابق بسیار خوبی با موارد واقعی دارد. بر اساس محاسبات نظری و دا...
متن کاملتمامیت در منطق پیوسته
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت ...
15 صفحه اولمحاسبات تعادلی در ترمودینامیک پیوسته
این واقعیت انکارناپذیراست که مرکزیت ترمودینامیک کلاسیک ، براساس اجزای متجزا می باشد و الگوریتم های محاسباتی موجود، نمی توانند قابل کارکرد به سیستم های پیوسته با تعدادی اجزای بسیار زیاد باشند. در این پروژه براساس ترمودینامیک گیبسین و فرآیند حدگیری، جهت حل محاسبات تعادلی در سیستم های کاملا پیوسته، سه الگوریتم : -1 مینیمم سازی مستقیم تابع گیبس کل -2 تساوی توابع مولد پتانسیل شیمیایی -3 استفاده از ن...
قضیه هربراند برای منطق پیوسته
ما قضیه هربراند را در چارچوب منطق پیوسته ثابت می کنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزاره ای فرو می کاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت می شود، تمرکز می کنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازه های موتیویک دارد که در آن یک مشخص سازی از تابع های تعریف پذیر مورد نیاز است. در این پایان نامه، یک حالت منطق پیوسته از قضی...
15 صفحه اولارزیابی پیوسته و احتمالاتی پیش‌بینی‌های بلندمدت بارش مدل‌های همادی آمریکای شمالی (مطالعه موردی: حوضه آبریز سد کرخه)
در دهه‌های اخیر قابلیت پیش‌بینی‌های هواشناسی به دلیل توسعه شهری و تغییر‌اقلیم به امری مهم در جوامع بشری تبدیل شده است. پیش‌بینی این متغیرها علاوه بر آگاهی دادن به بخش‌های گوناگون جامعه، نقش موثری را در تصمیم‌گیری و برنامه‌ریزی بهتر در زمینه‌های مختلف، نظیر مدیریت منابع آبی، ایفا می‌نمایند. امروزه در این حوزه، بکارگیری مدل‌های پیش‌بینی عددی وضع آب و هوا یکی از متداول‌ترین رویکردها به شمار می‌رون...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023